Metadata
aliases: []
shorthands: {}
created: 2021-12-03 09:39:18
modified: 2022-01-10 04:13:04
A normed vector space is a Banach space if it is complete with respect to the associated distance function.
A Banach space is separable if it contains a countable dense subset.